English translation for "machine de krivine"

krivine machine

Example Sentences:

	1.	The Krivine machine implements call by name. La machine de Krivine met en œuvre l'appel par nom du lambda-calcul.
	2.	The Krivine machine has four transitions : App, Abs, Zero, Succ. La machine de Krivine a quatre transitions : App, Abs, Zero, Succ.
	3.	The Krivine machine has been designed by the French logician Jean-Louis Krivine at the beginning of the 1980s. La machine de Krivine a été inventée par le logicien français Jean-Louis Krivine au début des années 1980.
	4.	It has been proved that the Krivine machine implements correctly the call by name head normal form reduction in the lambda-calculus. Il a été démontré que la machine de Krivine implante correctement la réduction en forme normale de tête du lambda-calcul, par appel par nom.
	5.	Moreover, the Krivine machine is deterministic, since each pattern of the state corresponds to at most one machine transition. De plus, il est à noter que la machine de Krivine est déterministe, car à chaque motif de l'état correspond au plus une transition de la machine.
	6.	The presentation of the Krivine machine given here is based on notations of lambda terms that use de Bruijn indices and assumes that the terms of which it computes the head normal forms are closed. La présentation de la machine de Krivine que nous donnons ici s'appuie sur la notation des termes du lambda-calcul par indices de de Bruijn et suppose que les termes dont elle calcule la forme normale de tête sont clos.

Similar Words：

"machine de boltzmann restreinte" English translation, "machine de chicago" English translation, "machine de chiffrement" English translation, "machine de guerre" English translation, "machine de hebern" English translation, "machine de l'ohio" English translation, "machine de lorenz" English translation, "machine de marly" English translation, "machine de marquage routier" English translation